Nuprl Definition : set_eq
13,42
postcript
pdf
=
== (
p
.2).1
latex
clarification:
=
p
== (
p
.2).1
latex
Up
poset
sig
object
directory
Wellformedness Lemmas
set
eq
wf
Definitions
t
.1
,
t
.2
origin
== (p.2).1
p == (p.2).1 == (p.2).1
p == (p.2).1